Introduction to graph theory